let x: {[key in keyof O]-?: T};
